q-rel-lub(r1;r2)
== if (r1 = 0) then r2 if (r2 = 0) then r1 if (r1 = 1)  (r2 = 1) then 1 else 2 fi  

latex

Definitions	if b then t else f fi , p  q, (i = j), #$n
FDL editor aliases	q-rel-lub